$\forall$$T$:Type. EqDecider($T$) $\in$ Type